Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

Developing safety-critical distributed applications is a difficult challenge. A failure may cause important damages as loss of human life or mission’s failure. Such distributed applications must be designed and built with rigor. Reducing the tedious and error-prone development steps is required; we claim that automatic code generation is a natural solution. In order to ease the process of verification and certification, the user can use modeling languages to describe application critical aspects. In this paper we introduce the use of AADL as a modeling language for Distributed Real-time Embedded (DRE) systems. Then we present our tool-suite OCARINA which allows automatic code generation from AADL models. Finally, we present a comparison between OCARINA and traditional ap-